Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
211	Logic in Milan an informal workshop When: March[removed], 15:00 – 18:00 Where: DSI, Aula Riunioni 2 Piano Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-16 04:32:08 Model theory Logic in computer science Non-classical logic Mathematical constructivism Philosophy of mathematics Intuitionistic logic Kripke semantics Denotational semantics Propositional calculus Logic Mathematical logic Mathematics
212	Modular Protections against Non-control Data Attacks Cole Schlesinger† Karthik Pattabiraman‡ † Princeton University {cschlesi,dpw}@cs.princeton.edu Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2011-11-02 12:05:10 Data types Procedural programming languages Type theory Programming language semantics C++ Denotational semantics Type system Pointer C++ classes Software engineering Programming language theory Computing
213	CS 6110 S11 Lecture 24 Scott’s D∞ Construction 4 April 2011 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-04-04 07:44:36 Applied mathematics Theoretical computer science Denotational semantics Logic in computer science
214	Chu spaces as a semantic bridge between linear logic and mathematics Vaughan Pratt ∗ Dept. of Computer Science Stanford University Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-07-27 11:43:04 Category theory Model theory Order theory Monoidal categories Chu space Cartesian closed category Functor Adjoint functors Denotational semantics Mathematics Algebra Abstract algebra
215	Certifiable Specification and Verification of C Programs Christoph Lüth and Dennis Walter Deutsches Forschungszentrum für Künstliche Intelligenz Bremen, Germany [removed], [removed] Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2009-10-23 03:41:49 Denotational semantics Logic in computer science Symbol Structure String Model theory Holomorphic functional calculus Orbifold Mathematics Theoretical computer science Mathematical logic
216	A Certiﬁable Formal Semantics of C Maksym Bortin 1 Christoph L¨ Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2009-06-03 10:20:35 Programming language semantics Logic in computer science Model theory Denotational semantics Formal methods Structure Semantics Predicate transformer semantics Programming language Theoretical computer science Mathematics Applied mathematics
217	Curriculum Vitae Anna Ingólfsdóttir Reykjavik University School of Science and Engineering Department of Computer Science Add to Reading List Source URL: www.ru.is Language: English - Date: 2007-02-18 17:09:32 Models of computation Denotational semantics Logic in computer science Reykjavík University Aalborg University International Colloquium on Automata Languages and Programming Logic programming Iceland Theoretical computer science Europe Computer science
218	§1 DENOTATIONAL SEMANTICS 1 Add to Reading List Source URL: tex.loria.fr Language: English - Date: 2001-04-26 18:01:17 Mathematical logic Models of computation Spectral theory Symbol Combinatory logic Denotational semantics Free variables and bound variables Spectral theory of ordinary differential equations Lambda calculus Theoretical computer science Logic in computer science Mathematics
219	Applicative functors and fully transparent higher-order modules Xavier Leroy INRIA B.P. 105, Rocquencourt, 78153 Le Chesnay, France. [removed] Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Functors Adjoint functors Homological algebra Standard ML Monad Limit Free object Denotational semantics Sheaf Abstract algebra Category theory Mathematics
220	Smooth Interpretation ∗ Swarat Chaudhuri Armando Solar-Lezama Pennsylvania State University Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-07-20 17:17:44 Models of computation Regression analysis Exponentials Gaussian function Normal distribution Denotational semantics Random variable Simplex algorithm Rate–distortion theory Mathematics Theoretical computer science Applied mathematics

UPDATE